BourbakiV1, France, Analysis, bibRecord, 000211

Logique épistémique et philosophie des mathématiques

Identifieur interne : 000211 ( France/Analysis ); précédent : 000210; suivant : 000212

Logique épistémique et philosophie des mathématiques

Auteurs : Thierry Martin [France] ; Paul Gochet ; Philippe De Rouilhan ; Philippe Mongin

Source :

RBID : Hal:hal-00471291

Abstract

La logique du savoir-faire se réduit-elle à la logique du savoir ? Paul Gochet entend montrer qu'il faut répondre négativement à cette question. Pour cela, il compare les mérites respectifs des différentes logiques développées récemment pour analyser les rapports entre la connaissance et l'action (logique multimodale, calcul des situations, logique hybride) en s'appuyant sur une étude de cas qui fait office de banc d'essai. L'analyse de Philippe de Rouilhan cherche, quant à elle, à déterminer la place qui revient, de droit sinon de fait, dans l'architecture des mathématiques, à ce que les logiciens appellent, depuis un demi-siècle, la théorie des modèles. Il entreprend par là de compléter l'édifice des mathématiques qu'avait construit N. Bourbaki et, distinguant deux variantes différentes de cette théorie, revient sur les interprétations qu'en proposèrent généralement mathématiciens, logiciens ou philosophes pour les réfuter. Les questions que suscitent ces analyses donnent lieu, dans les deux cas, à une brève discussion permettant d'en éclairer les enjeux. Ces deux études explorent donc d'un côté l'architecture des sciences formelles, de l'autre la relation pensée formellement entre la connaissance et l'action. Elles constituent ainsi des contributions décisives dans le champ de la philosophie de la logique contemporaine.

Url:

https://hal.archives-ouvertes.fr/hal-00471291

Affiliations:

Links toward previous steps (curation, corpus...)

to stream Hal, to step Corpus: 000053
to stream Hal, to step Curation: 000053
to stream Hal, to step Checkpoint: 000044
to stream Main, to step Merge: 000A67
to stream Main, to step Curation: 000A59
to stream Main, to step Exploration: 000A59
to stream France, to step Extraction: 000211

Links to Exploration step

Hal:hal-00471291

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr">Logique épistémique et philosophie des mathématiques</title>
<author><name sortKey="Martin, Thierry" sort="Martin, Thierry" uniqKey="Martin T" first="Thierry" last="Martin">Thierry Martin</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-394421" status="INCOMING">          <orgName>EA2274 - Logiques de l'agir</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
          </desc>
          <listRelation>            <relation active="#struct-225605" type="direct"></relation>
            <relation active="#struct-426438" type="indirect"></relation>
            <relation name="EA2274" active="#struct-458810" type="indirect"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-225605" type="direct"><org type="laboratory" xml:id="struct-225605" status="VALID">          <idno type="IdRef">03168856X</idno>
          <idno type="RNSR">199613834J</idno>
          <orgName>Logiques de l'Agir - UFC</orgName>
          <orgName type="acronym">LdA</orgName>
          <desc>            <address>              <addrLine>UFR SLHS30, rue Mégevand 25030 BESANÇON Cedex (France)</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-fcomte.fr/pages/fr/menu1/recherche/la-recherche-a-l-ufc/ea-2274---philo-18229-7965.html</ref>
          </desc>
          <listRelation>            <relation active="#struct-426438" type="direct"></relation>
            <relation name="EA2274" active="#struct-458810" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-426438" type="indirect"><org type="regroupinstitution" xml:id="struct-426438" status="VALID">          <idno type="IdRef">200716271</idno>
          <orgName>Université Bourgogne Franche-Comté</orgName>
          <orgName type="acronym">UBFC</orgName>
          <date type="start">2015-04-01</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.ubfc.fr</ref>
          </desc>
        </org>
</tutelle>
<tutelle name="EA2274" active="#struct-458810" type="indirect"><org type="institution" xml:id="struct-458810" status="VALID">          <idno type="IdRef">026403188</idno>
          <idno type="ISNI">0000 0001 2188 3779 </idno>
          <orgName>Université de Franche-Comté</orgName>
          <orgName type="acronym">UFC</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-fcomte.fr</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city" wicri:auto="siege">Besançon</settlement>
<region type="region" nuts="2">Franche-Comté</region>
</placeName>
<orgName type="university">Université de Franche-Comté</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName>
</affiliation>
</author>
<author><name sortKey="Gochet, Paul" sort="Gochet, Paul" uniqKey="Gochet P" first="Paul" last="Gochet">Paul Gochet</name>
</author>
<author><name sortKey="De Rouilhan, Philippe" sort="De Rouilhan, Philippe" uniqKey="De Rouilhan P" first="Philippe" last="De Rouilhan">Philippe De Rouilhan</name>
</author>
<author><name sortKey="Mongin, Philippe" sort="Mongin, Philippe" uniqKey="Mongin P" first="Philippe" last="Mongin">Philippe Mongin</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:hal-00471291</idno>
<idno type="halId">hal-00471291</idno>
<idno type="halUri">https://hal.archives-ouvertes.fr/hal-00471291</idno>
<idno type="url">https://hal.archives-ouvertes.fr/hal-00471291</idno>
<date when="2007">2007</date>
<idno type="wicri:Area/Hal/Corpus">000053</idno>
<idno type="wicri:Area/Hal/Curation">000053</idno>
<idno type="wicri:Area/Hal/Checkpoint">000044</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">000044</idno>
<idno type="wicri:Area/Main/Merge">000A67</idno>
<idno type="wicri:Area/Main/Curation">000A59</idno>
<idno type="wicri:Area/Main/Exploration">000A59</idno>
<idno type="wicri:Area/France/Extraction">000211</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="fr">Logique épistémique et philosophie des mathématiques</title>
<author><name sortKey="Martin, Thierry" sort="Martin, Thierry" uniqKey="Martin T" first="Thierry" last="Martin">Thierry Martin</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-394421" status="INCOMING">          <orgName>EA2274 - Logiques de l'agir</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
          </desc>
          <listRelation>            <relation active="#struct-225605" type="direct"></relation>
            <relation active="#struct-426438" type="indirect"></relation>
            <relation name="EA2274" active="#struct-458810" type="indirect"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-225605" type="direct"><org type="laboratory" xml:id="struct-225605" status="VALID">          <idno type="IdRef">03168856X</idno>
          <idno type="RNSR">199613834J</idno>
          <orgName>Logiques de l'Agir - UFC</orgName>
          <orgName type="acronym">LdA</orgName>
          <desc>            <address>              <addrLine>UFR SLHS30, rue Mégevand 25030 BESANÇON Cedex (France)</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-fcomte.fr/pages/fr/menu1/recherche/la-recherche-a-l-ufc/ea-2274---philo-18229-7965.html</ref>
          </desc>
          <listRelation>            <relation active="#struct-426438" type="direct"></relation>
            <relation name="EA2274" active="#struct-458810" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-426438" type="indirect"><org type="regroupinstitution" xml:id="struct-426438" status="VALID">          <idno type="IdRef">200716271</idno>
          <orgName>Université Bourgogne Franche-Comté</orgName>
          <orgName type="acronym">UBFC</orgName>
          <date type="start">2015-04-01</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.ubfc.fr</ref>
          </desc>
        </org>
</tutelle>
<tutelle name="EA2274" active="#struct-458810" type="indirect"><org type="institution" xml:id="struct-458810" status="VALID">          <idno type="IdRef">026403188</idno>
          <idno type="ISNI">0000 0001 2188 3779 </idno>
          <orgName>Université de Franche-Comté</orgName>
          <orgName type="acronym">UFC</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-fcomte.fr</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city" wicri:auto="siege">Besançon</settlement>
<region type="region" nuts="2">Franche-Comté</region>
</placeName>
<orgName type="university">Université de Franche-Comté</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName>
</affiliation>
</author>
<author><name sortKey="Gochet, Paul" sort="Gochet, Paul" uniqKey="Gochet P" first="Paul" last="Gochet">Paul Gochet</name>
</author>
<author><name sortKey="De Rouilhan, Philippe" sort="De Rouilhan, Philippe" uniqKey="De Rouilhan P" first="Philippe" last="De Rouilhan">Philippe De Rouilhan</name>
</author>
<author><name sortKey="Mongin, Philippe" sort="Mongin, Philippe" uniqKey="Mongin P" first="Philippe" last="Mongin">Philippe Mongin</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr">La logique du savoir-faire se réduit-elle à la logique du savoir ? Paul Gochet entend montrer qu'il faut répondre négativement à cette question. Pour cela, il compare les mérites respectifs des différentes logiques développées récemment pour analyser les rapports entre la connaissance et l'action (logique multimodale, calcul des situations, logique hybride) en s'appuyant sur une étude de cas qui fait office de banc d'essai. L'analyse de Philippe de Rouilhan cherche, quant à elle, à déterminer la place qui revient, de droit sinon de fait, dans l'architecture des mathématiques, à ce que les logiciens appellent, depuis un demi-siècle, la théorie des modèles. Il entreprend par là de compléter l'édifice des mathématiques qu'avait construit N. Bourbaki et, distinguant deux variantes différentes de cette théorie, revient sur les interprétations qu'en proposèrent généralement mathématiciens, logiciens ou philosophes pour les réfuter. Les questions que suscitent ces analyses donnent lieu, dans les deux cas, à une brève discussion permettant d'en éclairer les enjeux. Ces deux études explorent donc d'un côté l'architecture des sciences formelles, de l'autre la relation pensée formellement entre la connaissance et l'action. Elles constituent ainsi des contributions décisives dans le champ de la philosophie de la logique contemporaine.</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
</country>
<region><li>Franche-Comté</li>
</region>
<settlement><li>Besançon</li>
</settlement>
<orgName><li>Université de Bourgogne Franche-Comté</li>
<li>Université de Franche-Comté</li>
</orgName>
</list>
<tree><noCountry><name sortKey="De Rouilhan, Philippe" sort="De Rouilhan, Philippe" uniqKey="De Rouilhan P" first="Philippe" last="De Rouilhan">Philippe De Rouilhan</name>
<name sortKey="Gochet, Paul" sort="Gochet, Paul" uniqKey="Gochet P" first="Paul" last="Gochet">Paul Gochet</name>
<name sortKey="Mongin, Philippe" sort="Mongin, Philippe" uniqKey="Mongin P" first="Philippe" last="Mongin">Philippe Mongin</name>
</noCountry>
<country name="France"><region name="Franche-Comté"><name sortKey="Martin, Thierry" sort="Martin, Thierry" uniqKey="Martin T" first="Thierry" last="Martin">Thierry Martin</name>
</region>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Mathematiques/explor/BourbakiV1/Data/France/Analysis

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000211 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/France/Analysis/biblio.hfd -nk 000211 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Mathematiques
   |area=    BourbakiV1
   |flux=    France
   |étape=   Analysis
   |type=    RBID
   |clé=     Hal:hal-00471291
   |texte=   Logique épistémique et philosophie des mathématiques
}}

This area was generated with Dilib version V0.6.33.
Data generation: Thu Jul 5 10:00:31 2018. Site generation: Sat Nov 19 17:42:07 2022

	Serveur d'exploration Bourbaki
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration Bourbaki

Logique épistémique et philosophie des mathématiques

Logique épistémique et philosophie des mathématiques

Source :

Abstract

Links toward previous steps (curation, corpus...)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri